Input–output conformance testing for software product lines
نویسندگان
چکیده
منابع مشابه
Input-output conformance testing for software product lines
We extend the theory of input-output conformance (IOCO) testing to accommodate behavioral models of software product lines (SPLs). We present the notions of residual and spinal testing. These notions allow for structuring the test process for SPLs by taking variability into account and extracting separate test suites for common and specific features of an SPL. The introduced notions of residual...
متن کاملTowards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata
We present an adaptation of input/output conformance (ioco) testing principles to families of similar implementation variants as appearing in product line engineering. Our proposed product line testing theory relies on Modal Interface Automata (MIA) as behavioral specification formalism. MIA enrich I/O-labeled transition systems with may/must modalities to distinguish mandatory from optional be...
متن کاملSpecification-based Testing for Software Product Lines
In this paper, we develop a testing theory for specification-based software product line development. Starting with a framework for the evaluation of test cases with respect to formal specifications, we develop a notion of enhancement, which allows to re-use test cases in a horizontal systems development process. In such a process, more and more features are added to an existing software produc...
متن کاملModel-Based Testing for Software Product Lines
MODEL-BASED TESTING FOR SOFTWARE PRODUCT LINES Erika Mir Olimpiew, Ph.D. George Mason University, 2008 Dissertation Director: Dr. Hassan Gomaa, Chairman & Professor A Software Product Line (SPL), or family of systems, is a collection of applications that have so many features in common that it is worthwhile to study and analyze the common features as well as analyzing the features that differen...
متن کاملAutomated Software Conformance Testing
English) Software has found its way into our everyday lives and as a consequence the impact of software failures can range from just being inconvenient to being life-threatening in the worst case. Consequently, software quality is a major concern in the development of modern software systems. Testing is considered as a practical technique for finding bugs in computer programs. An important aspe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2016
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2016.09.007